anonRefRecord is package{
  type socialNetworkType is alias of {
    nodeTable has type relation of socialNetNode;
    linkTable has type relation of socialNetLink;
  };

  -- The actual (not-yet-active) model, an (initially empty) social network
  socialNetwork has type ref(socialNetworkType);
  var socialNetwork := {
      nodeTable = relation of {}; 
      linkTable = relation of {};
  };
  
  main() do {
    assert socialNetwork.nodeTable = relation of {}
  }
}